CLOUDBURST NEAR CITRUS, CAL.

CloudBurst: highly sensitive read mapping with MapReduce

MOTIVATION Next-generation DNA sequencing machines are generating an enormous amount of sequence data, placing unprecedented demands on traditional single-processor read-mapping algorithms. CloudBurst is a new parallel read-mapping algorithm optimized for mapping next-generation sequence data to the human genome and other reference genomes, for use in a variety of biological analyses including ...

Context Cal ulus 1

The +CAL Algorithm Language

Algorithms are different from programs and should not be described with programming languages. Until now, the only simple alternative to programming languages has been pseudo-code. Based on the TLA+ specification language, +cal is an algorithm language that is designed to replace pseudocode. A +cal algorithm is automatically translated to a TLA+ specification that can be checked with the TLC mo...

A CAL Wizard

The project is to design and implement a ‘wizard’ with the following functionality to support a traditional CAL learning environment. To continually monitor and collect data on individual and group student performance, to perform statistical analysis, to provide feedback for teachers, to enable students to contribute to the wizard’s experience, and to provide advice to the individual student.

The Lambda Cal